Total Books: 1 - 2 /2
Formal Methods for Open Object-Based Distributed Systems
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Weiterlesen
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Weiterlesen
Total Books: 1 - 2 /2
